16! * 4^16